Master MPRI — Local cycles and dynamical properties of Boolean networks: Proofs and exercises
نویسنده
چکیده
منابع مشابه
Local cycles and dynamical properties of Boolean networks
We investigate the relationships between the dynamical properties of Boolean networks and properties of their Jacobian matrices, in particular the existence of local cycles in the associated interaction graphs. We define the notion of hereditarily bijective maps, and we use it to strengthen the property of unicity of a fixed point and to provide simplified proofs and generalizations of theorems...
متن کاملTemporal logics
These notes have been written as a support for the course about temporal logics taught at MPRI (Master Parisien de Recherche en Informatique) during the first semester of year 2006-2007. They contain most of what will be studied during the course, most often with detailled proofs, and several exercises, ranked from easy ( ) to hard ( ).
متن کاملNegative local feedbacks in Boolean networks
We study the asymptotic dynamical properties of Boolean networks without local negative cycle. While the properties of Boolean networks without local cycle or without local positive cycle are rather well understood, recent literature raises the following two questions about networks without local negative cycle. Do they have at least one fixed point? Should all their attractors be fixed points?...
متن کاملBoolean Threshold Networks: Virtues and Limitations for Biological Modeling
Boolean threshold networks have recently been proposed as useful tools to model the dynamics of genetic regulatory networks, and have been successfully applied to describe the cell cycles of S. cerevisiae and S. pombe. Threshold networks assume that gene regulation processes are additive. This, however, contrasts with the mechanism proposed by S. Kauffman in which each of the logic functions mu...
متن کاملDynamics of Boolean Networks
Boolean networks are special types of finite state timediscrete dynamical systems. A Boolean network can be described by a function from an n-dimensional vector space over the field of two elements to itself. A fundamental problem in studying these dynamical systems is to link their long term behaviors to the structures of the functions that define them. In this paper, a method for deriving a B...
متن کامل